Householder reduction - German English Dictionary